function symbolの例文

例文

もっと例文:   1  2  3  4  5  6  7  8  9  10

1. The interpretation of a function symbol is a function.
2. Terms are variables, constants, and function symbols applied to other terms.
3. Function symbols having several declarations are called "'overloaded " '.
4. When no function symbols are used, terms are expressions over reals, possibly including variables.
5. Injections allow the identity of target objects to be specified in terms of a function symbol.